Transactional Correctness for Secure Nested Transactions
نویسندگان
چکیده
Secure Nested Transactions are an adaptation of traditional nested transactions to support the synergy of language-based security and multi-level database security. They have application in security for enterprise applications, where transactional semantics are a critical feature in middleware systems. This article considers correctness in terms of transactional properties for secure nested transactions. Correctness is expressed in terms of a labeled transition system, the TauZero calculus.
منابع مشابه
Security Correctness for Secure Nested Transactions
This article considers the synthesis of two long-standing lines of research in computer security: security correctness for multilevel databases, and language-based security. The motivation is an approach to supporting multilevel and multilateral security for a wide class of enterprise applications, those of concurrent transactional applications. The approach extends nested transactions with ret...
متن کاملCorrectness of Concurrent Executions of Closed Nested Transactions in Transactional Memory Systems
A generally agreed upon requirement for correctness of concurrent executions in Transactional Memory is that all transactions including the aborted ones read consistent values. Opacity is a recently proposed correctness criterion that satisfies the above requirement. Our first contribution in this paper is extending the opacity definition for closed nested transactions. Secondly, we define a re...
متن کاملA Model of Transactional Programming
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better exploit the parallelism of modern multi-processor machines, such as multi-core microprocessors. We introduce Transactional State Machines (TSMs) as an abstract finite-data model of transactional shared-memory concurre...
متن کاملA secure framework for managing transactional properties of business objects
A business object is a set of well-structured, persistent data associated with some predefined transactional operations. Maintaining the transactional correctness of business objects is very important, especially in financial applications. The object’s correctness has to be guaranteed at any time during the lifecycle of the object. This requires that each simple operation is correct, i.e., sati...
متن کاملA speculative execution approach to provide semantically aware contention management for concurrent systems
Most modern platforms offer ample potention for parallel execution of concurrent programs yet concurrency control is required to exploit parallelism while maintaining program correctness. Pessimistic concurrency control featuring blocking synchronization and mutual exclusion, has given way to transactional memory, which allows the composition of concurrent code in a manner more intuitive for th...
متن کامل